<!DOCTYPE html>
<html><!-- index for ws.js or totally online Web IDE -->
<head>
  <meta charset="utf-8" />
  <script>
    var href = window.location.toString();
    if (href.includes("emulator.html"))
      href = href.replace("emulator.html","");
    else if (href.includes("emulator"))
      href = href.replace("emulator","");
    if (window.location.search)
      href += "&emulator";
    else
      href += "?emulator";
    window.location = href;
  </script>
  <title>Espruino Web IDE</title>
</head>
<body>
  <p>Redirecting...</p>
</body>
</html>
